Newsgroups: comp.lang.prolog,sci.logic,comp.theory
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!newsstand.cit.cornell.edu!news.kei.com!newsfeed.internetmci.com!howland.reston.ans.net!torn!nott!cunews!bertrand!ceh
From: ceh@medusa.sce.carleton.ca (Curtis Hrischuk)
Subject: 1st order logic question about Kleene star operator
X-Nntp-Posting-Host: medusa.sce.carleton.ca
Message-ID: <CEH.96Feb1084343@medusa.sce.carleton.ca>
Followup-To: comp.lang.prolog
Sender: news@cunews.carleton.ca (News Administrator)
Organization: Carleton Univeristy, Systems & Computer Eng. Dept.
Date: Thu, 1 Feb 1996 13:43:43 GMT
Lines: 25
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:14678 sci.logic:16853 comp.theory:15332

Hi.  Has someone talked about integrating a Kleene star operator with
1st order logic.  The Kleene star operator would operate as follow:
	(P1)*(P2) is interpreted as the predicate P1 being occurring
zero, one, or an infinite amount of times until predicate P2 is true.
This is useful if I am examining a list of facts tyring to see if a
specific sequence exists. 

This also becomes interesting if P1 is composite of several
predicates. 

I can code this up in Prolog but I don't know how to formally specify
it in first order logic.  Has anyone else done this work?  

Thank you for your time.

Curtis
-- 
-------------------------------------------------------------------------------
| Curtis Hrischuk (PhD Cand)  | Boundaries of Science:                        |
| ceh@sce.carleton.ca         | 1) How did I get here?                        |
| Carleton University         | 2) Why am I here?                             |
| Ottawa, On. ,Canada, K1S-5B6| 3) What happens when I leave?                 |
| Ph  (613) 520-2600 x1762    | "The proof is almost identical to the previous|
| FAX (613) 520-5727          | proof and hence omitted here."(actual quote)  |
*******************************************************************************
