Datalog with support for SMT queries and first-order functional programming
-
Updated
Oct 29, 2024 - Java
Datalog with support for SMT queries and first-order functional programming
The exact prep I did for coding rounds; all programming aptitude questions and answers are sourced from the internet for preparation and to understand the logic-building approach. If you wish to contribute to this repository, you are highly welcome to do so. By doing this, lets try and build a big repository of coding round questions in one place.
Deep relational learning through differentiable logic programming.
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
A lazy-grounding Answer-Set Programming system
Datalog that's as easy as ABC.
This project will help you get more familiar with arrays. You will be recreating the game of battleships. A player will place 5 of their ships on a 10 by 10 grid. The computer player will deploy five ships on the same grid. Once the game starts the player and computer take turns, trying to sink each other's ships by guessing the coordinates to "…
ELC117 - Paradigmas de Programação - UFSM - 2024b
An artificial player for the popular video game Angry Birds
Data Structure and Algorithm in Java
Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
ELC117 - Paradigmas de Programação - UFSM - 2022b
repository intended for object-oriented programming in java from senai
ErgoAI's Java IDE
Mujeed (مُجيد) is a development environment for logic programming in Arabic language
Components of PSOATransRun system
The game is similar to rock paper scissors. It is played between two players, in your version it will be you versus the computer. Each player will choose either "odds" or "evens", since you’re playing the computer you will get first pick. Once you have chosen your side, you each choose a number of fingers to play- 0 to 5. The winner is determine…
"MazeRunner", a program that navigates through a given maze. The code for the Maze is written and provided in "Maze.java". The code that uses Maze and decides how to move through it is in "MazeRunner.java". For more details: https://courses.edx.org/courses/course-v1:Microsoft+DEV276x+1T2018/courseware/72c3ae7f7e2f4f54ae5d6d3cfad37409/e14fa96703…
A game made in Java that many people like to spend the time
Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.
To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."