Summary
Metadata
Words
Tuple classes
Singleton classes
Mixin classes
Generic words
Symbol words
Ordinary words
Class predicate words
Files
Metadata
| Parents: | logic |
Words
Tuple classes
| Class | Superclass | Slots |
 callback-env | tuple | env trail |
| cut-info | tuple | cut? |
| logic-env | tuple | table |
| logic-goal | tuple | pred args |
| logic-pred | tuple | name defs |
| resolver-gen | tuple | state body env cut first-goal rest-goals d-head d-body defs trail d-env d-cut sub-resolver1 sub-resolver2 i loop-end yield? return? |
Singleton classes
 ANONYMOUSE-LOGIC-VAR |
| NORMAL-LOGIC-VAR |
Mixin classes
| LOGIC-VAR |
Generic words
| Word | Stack effect |
 next | ( generator -- yield? ) |
Symbol words
Ordinary words
| Word | Stack effect |
 (fact) | ( head pos -- ) |
| (resolve) | ( goal-def/defs quot: ( env -- ) -- ) |
| (rule) | ( head body pos -- ) |
| (unify*) | ( x! x-env! y! y-env! trail tmp-env -- success? ) |
| 2each-until | ( ... seq1 seq2 quot: ( ... elt1 elt2 -- ... ? ) -- ... all-failed? ) |
| <callback-env> | ( env trail -- callback-env ) |
| <cut> | ( cut? -- cut-info ) |
| <env> | ( -- env ) |
| <goal> | ( pred args -- goal ) |
| <pred> | ( name -- pred ) |
| <resolver> | ( body env cut -- resolver ) |
| called-args | ( args -- args' ) |
| collect-logic-vars | ( seq -- vars-array ) |
| cut? | ( cut-info -- ? ) |
| def>goal | ( goal-def -- goal ) |
| define-logic-pred | ( name -- ) |
| define-logic-var | ( name -- ) |
| dereference | ( term env -- term' env' ) |
| each-until | ( ... seq quot: ( ... elt -- ... ? ) -- ... ) |
| env-clear | ( env -- ) |
| env-delete | ( x env -- ) |
| env-get | ( x env -- pair/f ) |
| env-put | ( x pair env -- ) |
| logic-var? | ( obj -- ? ) |
| negation-goal | ( goal -- negation-goal ) |
| normalize | ( goal-def/defs -- goal-defs ) |
| nquery/rec | ( goal-def/defs n/f -- bindings-array/success? ) |
| proxy-var-for-'__' | ( -- var-symbol ) |
| query/rec | ( goal-def/defs -- bindings-array/success? ) |
| replace-'__' | ( before -- after ) |
| reset-anonymouse-var-no | ( -- ) |
| resolve | ( goal-def/defs quot: ( env -- ) -- ) |
| resolve-body | ( body env cut quot: ( -- ) -- ) |
| set-info | ( ? cut-info -- ) |
| set-info-if-f | ( ? cut-info -- ) |
| split-body | ( body -- bodies ) |
| unify* | ( x x-env y y-env trail tmp-env -- success? ) |
Class predicate words
| Word | Stack effect |
| ANONYMOUSE-LOGIC-VAR? | ( object -- ? ) |
| LOGIC-VAR? | ( object -- ? ) |
| NORMAL-LOGIC-VAR? | ( object -- ? ) |
| callback-env? | ( object -- ? ) |
| cut-info? | ( object -- ? ) |
| logic-env? | ( object -- ? ) |
| logic-goal? | ( object -- ? ) |
| logic-pred? | ( object -- ? ) |
| resolver-gen? | ( object -- ? ) |
Files