Re: Pilog unification of a nested predicate

2018-07-03 Thread Bruno Franco
Oh, I see! Thanks! On Tue, Jul 3, 2018 at 1:45 PM Alexander Burger wrote: > Hi Bruno, > > > (be vertical (line (point @X @Y) (point @X @Z))) > > (be horizontal (line (point @X @Y) (point @Z @Y))) > > > > and the query: > > (? (vertical line (point 1 2) (point 1 3))) > > Yes, OK, but then I

Re: Pilog unification of a nested predicate

2018-07-03 Thread Alexander Burger
Hi Bruno, > (be vertical (line (point @X @Y) (point @X @Z))) > (be horizontal (line (point @X @Y) (point @Z @Y))) > > and the query: > (? (vertical line (point 1 2) (point 1 3))) Yes, OK, but then I would rather go with: (be vertical ((line (point @X @Y1) (point @X @Y2 (be horizontal

Re: Pilog unification of a nested predicate

2018-07-03 Thread Bruno Franco
oh yeah, the pilog definitions! sorry, here they are: (be vertical (line (point @X @Y) (point @X @Z))) (be horizontal (line (point @X @Y) (point @Z @Y))) and the query: (? (vertical line (point 1 2) (point 1 3))) On Tue, Jul 3, 2018, 01:20 Alexander Burger wrote: > On Tue, Jul 03, 2018 at

Re: Testing test.l

2018-07-03 Thread Arie van Wingerden
Indeed a shortcoming of WSL. WSL works kind of OK after the april 2018 update. But calls to specific native Linux system routines often yield strange results. Also the output of standard Linux commands in WSL is often plain useless or very limited. Maybe this will improve in the near future :)

Unsubscribe

2018-07-03 Thread John Koper
UNSUBSCRIBE

Re: Pilog unification of a nested predicate

2018-07-03 Thread Alexander Burger
On Tue, Jul 03, 2018 at 12:21:13AM -0500, Bruno Franco wrote: > I had too many parentheses in the query. > > The correct form is: > (? (vertical line (point 1 2) (point 1 3))) No, this does not look right. We can't tell much unless we know all your definitions. —Alex -- UNSUBSCRIBE:

Re: Testing test.l

2018-07-03 Thread Alexander Burger
On Mon, Jul 02, 2018 at 11:06:07PM +0200, Joh-Tob Schäg wrote: > I recently got a windows pc and installed the linux simulation layer. I > ... > in @test/src/main.l are the following problems: > ... > > (unless (member *OS '("SunOS" "OpenBSD" "Cygwin" "AIX" "HP-UX" "IRIX64")) > >(sigio (setq