• Post Reply Bookmark Topic Watch Topic
  • New Topic
programming forums Java Mobile Certification Databases Caching Books Engineering Micro Controllers OS Languages Paradigms IDEs Build Tools Frameworks Application Servers Open Source This Site Careers Other all forums
this forum made possible by our volunteer staff, including ...
Marshals:
  • Campbell Ritchie
  • Devaka Cooray
  • Liutauras Vilda
  • Jeanne Boyarsky
  • Bear Bibeault
Sheriffs:
  • Paul Clapham
  • Knute Snortum
  • Rob Spoor
Saloon Keepers:
  • Tim Moores
  • Ron McLeod
  • Piet Souris
  • Stephan van Hulst
  • Carey Brown
Bartenders:
  • Tim Holloway
  • Frits Walraven
  • Ganesh Patekar

Logic Programming

 
Marshal
Posts: 65113
247
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
We have some new fora about different programming paradigms. Some of them are well‑known and some rather obscure. We hope people will have questions about different modes of programming.
 
Saloon Keeper
Posts: 5718
144
Android Mac OS X Firefox Browser VI Editor Tomcat Server Safari
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
We even have a page to get you started with one of the most prominent of logic pragramming languages - Prolog. See https://coderanch.com/wiki/660029/Learn-Prolog for some simple code, and where to find a free implementation to get you started.
 
Bartender
Posts: 1031
18
Mac OS X IntelliJ IDE Oracle Spring VI Editor Tomcat Server Redhat Java Linux
  • Mark post as helpful
  • send pies
  • Quote
  • Report post to moderator
This made me laugh!  I hope I'm not the only one who spent a few months writing many complex recursive Prolog clauses to be given the rather disappointing "true" answer.  
Even worse when you got a "false" which should have been true!  
 
  • Post Reply Bookmark Topic Watch Topic
  • New Topic
Boost this thread!