Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mamot.fr is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mamot.fr est un serveur Mastodon francophone, géré par La Quadrature du Net.

Administered by:

Server stats:

3.5K
active users

mamot.fr: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#LogicProgramming

13 posts8 participants0 posts today
Public
José A. Alonso

Principles of rule-based programming. ~ Thom Frühwirth. books.google.com/books/?id=ciV #CHR #Constraint #LogicProgramming

Google BooksPrinciples of Rule-Based ProgrammingThe book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic Web, decision support, optimization problems, simulation and modeling, software engineering, program verification and security, and artificial intelligence. Through clear definitions, helpful explanations, concrete examples and instructive exercises with selected solutions, the reader will gain a thorough understanding of rule-based formalisms, systems and programming languages. The rule-based formalisms presented are Multiset Transformation, Term Rewriting Systems, Colored Petri Nets and Logical Algorithms. The rule-based systems are Production Rules, Event-Condition-Action Rules and Datalog. The rule-based programming languages are Functional Programming, Constraint Logic Programming and Concurrent Constraint Programming. By embedding these approaches into Constraint Handling Rules, a powerful and versatile programming language, it provides a common platform for understanding and comparison as well as execution and analysis of rule-based approaches. The book is ideal for researchers, students and programmers who want to learn about the power and potential of rule-based programming and understand its characteristic features and abilities.
Public
jbz

｢ Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures) ｣

curry-lang.org/

curry-lang.org- Curry Programming LanguageA Truly Integrated Functional Logic Programming Language
#currylang#functionalprogramming#logicprogramming
Public
Hacker News

Truth Functional Logic for Hackers

lagomor.ph/2025/02/truth-funct

Lagomorph · Truth Functional Logic for Hackers - Part OneBob and Alice are two hackers working on an embedded system with a severe computational constraint - there is a bug in their low-cost microcontroller making OR operations significantly slower than any other operation on the chipset. When they profiled their micropython code, they found that OR operations were up to 5x slower than any other operation. Alice This is a big problem! We could replace the faulty chips with better ones, if they arrive before the deadline. Bob I don’t think we can afford to wait - the deadline is in 3 days. A better option is to rewrite the code to avoid the OR operation. Alice How could we do that? We’re using the OR operation in a lot of critical places. Look: def authorize_access(request): # A user is denied if they are on a blacklist OR # their account is expired if (user_is_blacklisted(request.user_id) or account_is_expired(request.account) return "Access denied" return "Access granted" Let’s take a moment to understand the problem. The authorize_access function is used to check if a user is authorized to access a resource. The or operation is used to combine the conditions. How could we rewrite this function to avoid the OR operation?
#HackerNews#TruthFunctionalLogic#Hackers
ExploreLive feeds
About