A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://clojure.github.io/core.unify/ below:

clojure.core.unify - core.unify 0.5.8-SNAPSHOT API documentation

API for clojure.core.unify -

Full namespace name:

clojure.core.unify Overview 
A unification library for Clojure.

Public Variables and Functions
function 
Usage: (extract-lvars form)
       (extract-lvars lv-fn form)

Takes a datastructure and returns a distinct set of the logical
variables found within.
Source


 flatten-bindingsfunction



Usage: (flatten-bindings binds)
       (flatten-bindings variable? binds)



Flattens recursive bindings in the given map to the same ground (if possible).


Source


 make-occurs-subst-fnfunction



Usage: (make-occurs-subst-fn variable-fn)



Given a function to recognize unification variables, returns a function that
will attempt to substitute unification bindings between two expressions.
This function uses an 'occurs check' methodology for detecting cycles.


Source


 make-occurs-unifier-fnfunction



Usage: (make-occurs-unifier-fn variable-fn)



Given a function to recognize unification variables, returns a function to
perform the unification of two expressions. This function uses an 'occurs check'
methodology for detecting cycles.


Source


 make-occurs-unify-fnfunction



Usage: (make-occurs-unify-fn variable-fn)



Given a function to recognize unification variables, returns a function to
return a bindings map for two expressions.  This function uses an 'occurs check'
methodology for detecting cycles.


Source


 make-subst-fnfunction



Usage: (make-subst-fn variable-fn)



Given a function to recognize unification variables, returns a function that
will attempt to substitute unification bindings between two expressions.


Source


 make-unifier-fnfunction



Usage: (make-unifier-fn variable-fn)



Given a function to recognize unification variables, returns a function to
perform the unification of two expressions.


Source


 make-unify-fnfunction



Usage: (make-unify-fn variable-fn)



Given a function to recognize unification variables, returns a function to
return a bindings map for two expressions.


Source


 substfunction



Usage: (subst expression bindings)



Attempts to substitute the bindings in the appropriate locations in the given expression.


Source


 unifierfunction



Usage: (unifier expression1 expression2)



Attempts the entire unification process from garnering the bindings to substituting
the appropriate bindings.  Note: This function is implemented with an occurs-check.


Source


 unifier-function



Usage: (unifier- expression1 expression2)



Attempts the entire unification process from garnering the bindings to substituting
the appropriate bindings.  Note: This function is implemented **without** an occurs-check.


Source


 unifyfunction



Usage: (unify expression1 expression2)



Attempt to unify x and y with the given bindings (if any). Potentially returns a map of the 
unifiers (bindings) found.  Will throw an `IllegalStateException` if the expressions
contain a cycle relationship.  Will also throw an `IllegalArgumentException` if the
sub-expressions clash.  Note: This function is implemented with an occurs-check.


Source


 unify-function



Usage: (unify- expression1 expression2)



Attempt to unify x and y with the given bindings (if any). Potentially returns a map of the 
unifiers (bindings) found.  Will throw an `IllegalStateException` if the expressions
contain a cycle relationship.  Will also throw an `IllegalArgumentException` if the
sub-expressions clash.  Note: This function is implemented **without** an occurs-check.


Source

Logo & site design by
Tom Hickey

.


Clojure auto-documentation system by Tom Faulhaber.






RetroSearch is an open source project built by @garambo
| Open a GitHub Issue




    Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo




    
        HTML:
        3.2
        | Encoding:
        UTF-8
        | Version:
        0.7.4