Re: Prolog the right tool?
- From: "Pierpaolo BERNARDI" <pierpaolo@xxxxxxxxxxxxx>
- Date: 17 Jul 2006 02:01:29 +0200
On Sun, 16 Jul 2006 21:09:01 +0200, Lash Rambo <lr@xxxxxxxxxxxx> wrote:
I want to encode a ruleset for a domain in first-order predicate logic.
Next, I want the computer to "reason" about this ruleset. By "reason" I
mean: discover rule invariants, decompose functions (i.e., break up
conjunctions/disjunctions), perform goal regression, etc.
Is Prolog the right tool for this job?
Yes.
--
Anything below this line is being added by the newsserver
.
- References:
- Prolog the right tool?
- From: Lash Rambo
- Prolog the right tool?
- Prev by Date: comp.lang.prolog Frequently Asked Questions
- Next by Date: Re: ECLiPSe going commercial or open source?
- Previous by thread: Prolog the right tool?
- Next by thread: ECLiPSe going commercial or open source?
- Index(es):
