🚀 go-pugleaf

In article <1992Oct26.174423.14408@feline.uucp> king@feline.uucp (KingLeon) writes:
>PDC prolog looks like it has fairly good support for Windows as well as
>the ability to link to routines written in C.  Compared to LPA the price
>is more reasonable at about $600. U.S. or $425. for an upgrade from Turbo
>Prolog.  On one hand many posters have looked down on the product because of
>Its strong typechecking, but it may do what you want it to.
>     For my own purposes thats the way I'm going to go, after I've done some
>front end work in C.

I've done lots of work with PDC Prolog, and it is an excellent tool
for SOME purposes. But you should realize the you can only assert
or retract facts, not rules. Also, clause, arg, functor, univ (=..)
are not implemented. And the strong typechecking can be a problem
if you must deal with lists with lots of different kinds of potential
members. I write nonmonotonic inference engines in Prolog and PDC
is not suitable for that. You just have to fit the tool to the
problem.