diff --git a/README.md b/README.md index 409de78..6148bf7 100644 --- a/README.md +++ b/README.md @@ -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) |