File tree Expand file tree Collapse file tree 16 files changed +46
-44
lines changed
main/scala/io/github/kelvindev15/prolog
test/scala/io/github/kelvindev15/prolog/core Expand file tree Collapse file tree 16 files changed +46
-44
lines changed Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
- import io .github .kelvindev15 .prolog .Struct .quoteIfFunctorIsMalformed
3
+ import io .github .kelvindev15 .prolog .core . Struct .quoteIfFunctorIsMalformed
4
4
import io .github .kelvindev15 .prolog .utils .TermVisitor
5
5
6
6
trait Constant extends Term :
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
- import io .github .kelvindev15 .prolog .Constant .Atom
4
- import io .github .kelvindev15 .prolog .Prolog .Functors
5
- import io .github .kelvindev15 .prolog .RecursiveStruct .BinaryRecursiveStruct
3
+ import io .github .kelvindev15 .prolog .core . Constant .Atom
4
+ import io .github .kelvindev15 .prolog .core . Prolog .Functors
5
+ import io .github .kelvindev15 .prolog .core . RecursiveStruct .BinaryRecursiveStruct
6
6
import io .github .kelvindev15 .prolog .utils .TermVisitor
7
7
8
8
object Goals :
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
3
import scala .annotation .targetName
4
4
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
- import io .github .kelvindev15 .prolog .Constant .Atom
3
+ import io .github .kelvindev15 .prolog .core . Constant .Atom
4
4
5
5
import scala .util .matching .Regex
6
6
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
- import io .github .kelvindev15 .prolog .Constant .Atom
4
- import io .github .kelvindev15 .prolog .Prolog .Functors
3
+ import io .github .kelvindev15 .prolog .core . Constant .Atom
4
+ import io .github .kelvindev15 .prolog .core . Prolog .Functors
5
5
6
6
trait PrologList extends RecursiveStruct :
7
7
val size : Int
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
3
import io .github .kelvindev15 .prolog .utils .BinaryToFlatVisitor
4
4
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
- import io .github .kelvindev15 .prolog .Constant .Atom
4
- import io .github .kelvindev15 .prolog .Goals .Conjunction
5
- import io .github .kelvindev15 .prolog .Prolog .Functors .CLAUSE
6
- import io .github .kelvindev15 .prolog .Prolog .Syntax
3
+ import io .github .kelvindev15 .prolog .core . Constant .Atom
4
+ import io .github .kelvindev15 .prolog .core . Goals .Conjunction
5
+ import io .github .kelvindev15 .prolog .core . Prolog .Functors .CLAUSE
6
+ import io .github .kelvindev15 .prolog .core . Prolog .Syntax
7
7
import io .github .kelvindev15 .prolog .utils .TermVisitor
8
8
9
9
trait Struct extends Term :
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
3
import io .github .kelvindev15 .prolog .utils .TermVisitor
4
4
Original file line number Diff line number Diff line change 1
- package io .github .kelvindev15 .prolog
1
+ package io .github .kelvindev15 .prolog . core
2
2
3
- import io .github .kelvindev15 .prolog .Prolog .Syntax .VariableRegex
3
+ import io .github .kelvindev15 .prolog .core . Prolog .Syntax .VariableRegex
4
4
import io .github .kelvindev15 .prolog .utils .TermVisitor
5
5
6
6
trait Variable extends Term :
Original file line number Diff line number Diff line change 1
1
package io .github .kelvindev15 .prolog .utils
2
2
3
- import io .github .kelvindev15 .prolog .RecursiveStruct .BinaryRecursiveStruct
4
- import io .github .kelvindev15 .prolog .Term
5
- import io .github .kelvindev15 .prolog .RecursiveStruct . BinaryRecursiveStruct . Tuple
3
+ import io .github .kelvindev15 .prolog .core . RecursiveStruct .BinaryRecursiveStruct
4
+ import io .github .kelvindev15 .prolog .core . RecursiveStruct . BinaryRecursiveStruct . Tuple
5
+ import io .github .kelvindev15 .prolog .core . Term
6
6
7
7
class BinaryToFlatVisitor extends TermVisitor [Iterable [Term ]]:
8
8
override def visit (tuple : BinaryRecursiveStruct ): Iterable [Term ] = tuple match
You can’t perform that action at this time.
0 commit comments