Skip to content

Commit

Permalink
Document term_variables/3
Browse files Browse the repository at this point in the history
  • Loading branch information
@infradig
infradig committed Oct 30, 2024
1 parent b8121aa commit 525c732
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -514,6 +514,8 @@ Non-standard predicates
reset/3 # reset(:goal,?ball,-cont)
shift/1 # shift(+ball)

term_variables/3

Note: consult/1 and load_files/2 support lists of files as args. Also
support loading into modules eg. *consult(MOD:FILE-SPEC)*.

Expand Down

0 comments on commit 525c732

Please sign in to comment.