Beefy Boxes and Bandwidth Generously Provided by pair Networks
Problems? Is your data what you think it is?
 
PerlMonks  

Re^2: Bringing Logic Programming to Perl

by Ovid (Cardinal)
on Jan 23, 2005 at 05:41 UTC ( #424348=note: print w/replies, xml ) Need Help??


in reply to Re: Bringing Logic Programming to Perl
in thread Bringing Logic Programming to Perl

Well, this works, but it does show some limitations in the code. I'm adding this to my examples/ directory. Thanks for the pointer.

use strict; use warnings; use aliased 'AI::Prolog::Parser'; use aliased 'AI::Prolog::Term'; use aliased 'AI::Prolog::Engine'; my $database = Parser->consult(<<'END_PROLOG'); perform(grasp, state(middle, middle, onbox, hasnot), state(middle, middle, onbox, has)). perform(climb, state(MP, BP, onfloor, H), state(MP, BP, onbox, H)). perform(push(P1,P2), state(P1, P1, onfloor, H), state(P2, P2, onfloor, H)). perform(walk(P1,P2), state(P1, BP, onfloor, H), state(P2, BP, onfloor, H)). /* getfood(state(_,_,_,has)). */ /* I'll have to fix this soonish! */ getfood(state(Bogus1,Bogus2,Bogus3,has)). getfood(S1) :- perform(Act, S1, S2), nl, print(S1), print(Act), getfood(S2). END_PROLOG my $parser = Parser->new("getfood(state(atdoor,atwindow,onfloor,hasnot +))."); my $query = Term->new($parser); my $engine = Engine->new($query,$database); print $engine->run;

Cheers,
Ovid

New address of my CGI Course.

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://424348]
help
Chatterbox?
[Corion]: 1nickt: Finding autobox in production would give me pause, yes
[LanX]: efficient survey
[MidLifeXis]: And under MINGW64_NT-6.1 MYHOST 2.6.0(0.304/5/3) 2016-09-09 09:46 x86_64 Msys there seem to be issues with escapes in external build tool calls.
[Corion]: I mean, it's a technical feat it achieves, but... why? ;)
[MidLifeXis]: And it also has the 0.14 version of the tarball in its manifest.
[LanX]: avoiding unreadable brackets
[MidLifeXis]: Although the previous one could be a b0rken PATH, I would need to dig for that.
[thezip]: I've got to go to meetings now. If anyone has further comments regarding Spreadsheet::XLSX deployment to Strawberry Perl 5.24.1, please /msg me -- thanks!
LanX has to go ... plans to crash with a car into a group of pythonistas while screaming "LARRY IS THE GREATEST"
LanX ... darn ... where is my car?

How do I use this? | Other CB clients
Other Users?
Others romping around the Monastery: (11)
As of 2017-03-23 17:28 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    Should Pluto Get Its Planethood Back?



    Results (291 votes). Check out past polls.