Skip to content

Commit

Permalink
Merge pull request #140 from ichiban/fix-typo
Browse files Browse the repository at this point in the history
fix typo
  • Loading branch information
ichiban authored Jan 1, 2022
2 parents eda34b4 + a2e0793 commit 6911902
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ for sols.Next() {
| | `nonvar(Term)` | * | Succeeds if `Term` is not a variable. | Prolog |
| | `number(Term)` | * | Succeeds if either `integer(Term)` or `float(Term)`. | Prolog |
| Term Processing | `functor(Term, Name, Arity)` | * | Succeeds if `Term` has a name `Name` and arity `Arity`. | [Go](https://pkg.go.dev/github.com/ichiban/prolog/engine#Functor) |
| | `arg(Arg, Term, Value) | * | Succeeds if the `Arg`-th argument of `Term` unifies with `Value`. | [Go](https://pkg.go.dev/github.com/ichiban/prolog/engine#Arg) |
| | `arg(Arg, Term, Value)` | * | Succeeds if the `Arg`-th argument of `Term` unifies with `Value`. | [Go](https://pkg.go.dev/github.com/ichiban/prolog/engine#Arg) |
| | `Term =.. List` | * | Succeeds if `List` is a list of the functor and arguments of `Term`. | [Go](https://pkg.go.dev/github.com/ichiban/prolog/engine#Univ) |
| | `copy_term(In, Out)` | * | Creates a copy of `In` and unifies it with `Out`. | [Go](https://pkg.go.dev/github.com/ichiban/prolog/engine#CopyTerm) |
| | `compare(Order, Term1, Term2)` | * | Compares `Term` and `Term2` and unifies `Order` with either `<`, `=`, or `>`. | [Go](https://pkg.go.dev/github.com/ichiban/prolog/engine#Compare) |
Expand Down

0 comments on commit 6911902

Please sign in to comment.