Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!ccu.umanitoba.ca!herald.usask.ca!alberta!aunro!ukma!rex!wuarchive!zaphod.mps.ohio-state.edu!caen!news.cs.indiana.edu!ariel.unm.edu!nmsu!opus!ted From: ted@nmsu.edu (Ted Dunning) Newsgroups: comp.lang.prolog Subject: Re: "Embedded Prolog" in C code Message-ID: Date: 31 May 91 17:10:13 GMT References: <1991May26.231138.13000@brolga.cc.uq.oz.au> <644@fudd.dataco.UUCP> Sender: news@NMSU.Edu Followup-To: comp.lang.prolog Organization: Computing Research Lab Lines: 30 In-reply-to: garym@cognos.uucp@uunet.uu.net's message of 30 May 91 15:54:48 GMT In article garym@cognos.uucp@uunet.uu.net (Gary Murphy) writes: Oh, let's not start THIS again. One could argue that NONE of the current implementations are 'prolog', but the truth is that PDC is more a prolog than anything else and is as much a prolog as TurboPascal is a pascal. hmm.... why is it you can't write predicates that accept goals as arguments? Ted> turbo `prolog' does allow for embedding, it just doesn't allow Ted> one to embed calls to prolog in c. Since when? I must have been dreaming when I did it, and my clients from those projects must still be dreaming as none have called to complain. you embedded calls to turbo prolog, not to prolog. The only restriction on calling predicates from C is the required initialization of the Prolog stacks during your program's early 'main' code. you omit one other restriction. the predicates you call are limited to an extreme subset of prolog. but we shouldn't blast it with false accusations. which accusations were false?