Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 442 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 442 Bytes
Raw

Logic Programming

Contains source files and related information on Logic Programming codes programmed during Spring 2018 for the course CS6374: Computational Logic by Rahul Nalawade.

Directories:

  1. Basic Prolog
  2. List Processing, Trees and Arithmetic
  3. Efficient Arithmetic, Non Deterministic Search and Belgian Snake Problem
  4. Answer Set Prgramming and s(ASP)
  5. Constraint Logic Programming