Skip to content

Commit

Permalink
Merge branch 'devel'
Browse files Browse the repository at this point in the history
  • Loading branch information
@infradig
infradig committed Oct 30, 2024
2 parents 13e348b + 525c732 commit 5aa60f9
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 5aa60f9

Please sign in to comment.