Beefy Boxes and Bandwidth Generously Provided by pair Networks
Don't ask to ask, just ask
 
PerlMonks  

Re: (OT) Pushing inductive systems to their limit

by salva (Abbot)
on Jul 30, 2005 at 16:45 UTC ( #479621=note: print w/replies, xml ) Need Help??


in reply to (OT) Pushing inductive systems to their limit

Ovid, in prolog, attributed variables is what you are looking for.

Attributed variables are unbound variables but with a set of conditions or attributes attached. When an attributed variable is unified with anything else, its attached attributes (that are effectively callback predicates) are called, and their success or failure determines also the success or failure of the unification.

Most free prolog implementations (SWI-Prolog, YAP, XSB ) support them (unfortunately Language::Prolog::Yaswi doesn't), and it should be too difficult to extend AI::Prolog to also do so.

Attributed variables are mostly used in prolog to implement constraint logic programing (CLP). A good introduction to CLP is available on Bratko's Prolog Programing for Artificial Intelligence.

  • Comment on Re: (OT) Pushing inductive systems to their limit

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://479621]
help
Chatterbox?
What's the matter? Cat got your tongue?...

How do I use this? | Other CB clients
Other Users?
Others drinking their drinks and smoking their pipes about the Monastery: (5)
As of 2017-11-18 08:39 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    In order to be able to say "I know Perl", you must have:













    Results (277 votes). Check out past polls.

    Notices?