Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!godot.cc.duq.edu!newsgate.duke.edu!news.mathworks.com!news.kei.com!nntp.coast.net!torn!watserv3.uwaterloo.ca!undergrad.math.uwaterloo.ca!sckettle
From: sckettle@undergrad.math.uwaterloo.ca (Steve Kettle)
Subject: why prolog???
Sender: news@undergrad.math.uwaterloo.ca (news spool owner)
Message-ID: <DuCFpJ.8FI@undergrad.math.uwaterloo.ca>
Date: Wed, 10 Jul 1996 20:03:19 GMT
Nntp-Posting-Host: laplace.uwaterloo.ca
Organization: University of Waterloo
Lines: 12

Hi I'm a bit confused about why Prolog is even being used.  I'm taking
this AI course and we learn Prolog but the thing is Prolog first only also
Horn clauses and therefore cannot fully express first order logic, second
most implementations of prolog are not complete.  So what's up - we have a
resolution algorithm that is complete, although not decidable so why isn't
this being used instead of prolog - is it because it is undecidable??? And
what does it really mean for it to undeciadable in practice is the time
taken to do the prove actually really all that long for all practical
purposes. 

Thanks, Steve.
-- 
