Beefy Boxes and Bandwidth Generously Provided by pair Networks
We don't bite newbies here... much
 
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?
LanX starts googling the punch line ...
[choroba]: suddenly, a weird noise can be heard, and the conductor stops them
[choroba]: (sorry, was interrupted by a call)
[choroba]: What was that? asks he
[choroba]: and the triangle player says, "That was me. It's written here in the score"
[choroba]: and shows a bar with a note "ohne Triangel"
[choroba]: where "ohne" means "will bend" in Czech
[LanX]: one-day-the- triangle-player-of -an-orchestra-gets -very-sick xD
[choroba]: :)

How do I use this? | Other CB clients
Other Users?
Others chilling in the Monastery: (10)
As of 2017-03-27 11:57 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    Should Pluto Get Its Planethood Back?



    Results (319 votes). Check out past polls.