It is currently Sun, 18 Apr 2021 00:11:10 GMT


 
 Topics   Author   Replies   Views   Last post 
why restricting to horn equational theories?

Luc Van Beirendon

0

274

Tue, 29 Aug 1995 22:12:45 GMT

Luc Van Beirendon

Second CFP (NLULP4)

Yuji MATSUMO

1

290

Sat, 26 Aug 1995 17:24:39 GMT

Yuji MATSUMO

32bit prolog for os/2

barnaby n

0

294

Fri, 25 Aug 1995 00:46:18 GMT

barnaby n

ilps93 call for workshop proposals (text+latex)

Francesca Ros

0

300

Tue, 22 Aug 1995 09:08:31 GMT

Francesca Ros

P -> Q ; R

Andrew Verd

11

304

Mon, 21 Aug 1995 21:17:09 GMT

Dominic Bin

RFD: comp.object.logic

Vladimir Alexi

3

288

Mon, 21 Aug 1995 12:31:08 GMT

Holger Ber

Test

Alfred Schmi

0

321

Sun, 20 Aug 1995 23:00:19 GMT

Alfred Schmi

Help with member predicate in ESL Prolog-2

Joe Hal

0

330

Sat, 19 Aug 1995 02:21:00 GMT

Joe Hal

regular expression compiler sought

Paul Singlet

0

270

Wed, 30 Aug 1995 06:43:42 GMT

Paul Singlet

CFP: Workshop on Principles of Diagnosis

David Allpo

0

317

Mon, 21 Aug 1995 01:12:14 GMT

David Allpo

Newest Version of CLP(R)???

Spiro Michayl

1

329

Sat, 19 Aug 1995 21:49:32 GMT

Ryu You

Release of POPLOG Version 14.2

Robin Poppleston

2

272

Wed, 30 Aug 1995 06:02:15 GMT

Ian Roge

**** looking for implementation of unification algorithm ****

David Whitt

8

208

Wed, 30 Aug 1995 05:38:29 GMT

Jonas Barklu

Special issue on deductive object-oriented databases

Michael Kif

0

276

Mon, 28 Aug 1995 23:41:26 GMT

Michael Kif

Is new version of TUR

Cyberm

0

280

Mon, 28 Aug 1995 10:43:38 GMT

Cyberm

EUROLAN 93

devienne_philip

0

283

Sun, 27 Aug 1995 17:20:56 GMT

devienne_philip

I need setof source...

eckdah

1

284

Sun, 27 Aug 1995 02:29:37 GMT

Norbert E. Fuc

AISB'93 Final Call

Aisb93 Pr

0

292

Sat, 26 Aug 1995 02:48:56 GMT

Aisb93 Pr

What happened to Borland's Prolog?

Michael Covingt

5

298

Wed, 23 Aug 1995 11:02:31 GMT

Dennis C Merri

a test --DO NOT READ THIS

*C_S14001

0

306

Tue, 22 Aug 1995 03:27:47 GMT

*C_S14001

Prolog Applications Conference

Al Ro

1

309

Mon, 21 Aug 1995 22:19:00 GMT

Al Ro

benchmark problems for state-space search

co..

0

311

Mon, 21 Aug 1995 19:54:27 GMT

co..

Elevator Simulation

Ronen Feldm

0

319

Mon, 21 Aug 1995 00:19:49 GMT

Ronen Feldm

Graphical Interfaces in Prolog

Jose' Paulo Le

0

324

Sun, 20 Aug 1995 02:44:05 GMT

Jose' Paulo Le

SWI-Prolog 1.6.12 for OS/2 now available

Andreas Toen

0

298

Tue, 22 Aug 1995 19:14:17 GMT

Andreas Toen

HELP! Need pascal source for Prolog Interpreter.

Adrianus Warmenhov

0

313

Mon, 21 Aug 1995 19:14:45 GMT

Adrianus Warmenhov

more help with ESL Prolog-2

Joe Hal

3

309

Mon, 21 Aug 1995 14:11:00 GMT

Heiner Lennacke

term to atoms

Stephan Raaijmake

1

273

Mon, 28 Aug 1995 20:25:10 GMT

Tim Lindho

WANTED: Prolog-III Implementation

Guenter Milla

0

304

Tue, 22 Aug 1995 06:03:33 GMT

Guenter Milla

Is new version of TURBO PROLOG available?

<E63..

0

286

Sat, 26 Aug 1995 19:38:56 GMT

<E63..

Prolog-III Implementation ???

Guenter Milla

0

302

Tue, 22 Aug 1995 06:12:31 GMT

Guenter Milla

 
   [ 13065 topic ]  [321] [322] [323] [324] [325] [326] [327] [328]


Powered by phpBB ® Forum Software