Copyright (1997-2013) EDMGROUP Pty Ltd - EZY Prolog Reference

main page

 Unification and Internal Structure

 

arg

Unify the Nth argument of the term

clause

Retrieves the clause from the Prolog internal database.

functor

Terms structurisation

integer

Check the type of a Term

bound

Check the type of a Term

free

Check the type of a Term

op

Declares the functional operator.

Copyright 1997-2013 EDMGROUP (Australia)