Path: utzoo!attcan!uunet!mcsun!inria!uucp!porchero
From: porchero@crcge1.cge.fr (Marc Porcheron)
Newsgroups: comp.lang.prolog
Subject: PROLOG implementation of planners
Message-ID: <1990Oct25.135421.1328@crcge1.cge.fr>
Date: 25 Oct 90 13:54:21 GMT
Reply-To: porchero@bora.cge.fr ()
Organization: Centre de Recherches de la CGE (Marcoussis)
Lines: 15

I am looking for a STRIPS-like planner [Fikes, Nilsson 71] using PROLOG for
both state-world and operator representation.
Does anybody have ever heard of this ?? 

Thanks in advance for any answer.

[Fikes, Nilsson 71] : Richard. E. Fikes,  Nils. J. Nilsson 
"STRIPS, a new approach to the application of
Theorem Proving to Problem Solving".
Artificial Intelligence 2 (1971), 189-208.
-- 
-------------------------------------------------------------
"If God exists, the he is a gaseous vertebrate." A. Einstein.
-------------------------------------------------------------
Marc Porcheron, 		Laboratoires de Marcoussis,