Description: Interests, Ideas and Observations
Interests, Ideas and Observations
To say that I am "gobsmacked" is an understatement! The s(CASP) language fulfills a 40-year-old dream for a computer language that adheres to the " Don’t repeat yourself " philosophy.
s(CASP) was described in 2003 by Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, and Andgopal Gupta. Constraint Answer Set Programming without Grounding . Here is a recent tutorial published for the language A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs . And has been recently implemented in both Caio and SWI-PROLOG . And here is a recent review article s(CASP) + SWI-Prolog = 🔥 .