standard syntax for rule replacing operators?
- From: "Torsten" <torsten.pietrek@xxxxxxxxx>
- Date: 31 Aug 2005 02:43:20 -0700
It is a nice feature of prolog that you can define operators to make
rules easier to read. I would like to now if there an established
standard syntax for often needed rules / operators like the ones of
propositional logic and set theory.
.
- Prev by Date: how to start?
- Next by Date: Re: how to start?
- Previous by thread: how to start?
- Index(es):
