Yahoo Web Search

Search results

1. Top results related to logic programming languages

   • Programming languages that feature shorthand equality logic, for comparing one variable to multiple

     Top Answer

     Answered Aug 22, 2011 · 2 votes

     I'm not aware of anything with that syntax, but it is closely related to testing for set membership, which many languages do include, either as a language construct or in a library.

     For example, consider this bit of Python:

     x = 1if x in {1, 2}: #do something

     That works in Python 2.7+, where there is syntax for set literals. Earlier versions of Python would construct the set as:

     x = 1if x in set([1, 2]): #do something

     Apart from the syntactic difference, the above set-based approach also differs in that all the possible values are eagerly evaluated. You couldn't, for example, do this:

     x = 1if x in {1, 2/0}: #do something

     You'd get an error for dividing by zero.

     Check all answers on Stack Overflow

     1/5

   • Logic programming in python

     Top Answer

     Answered Apr 10, 2020 · 6 votes

     I tried to develop something that uses prolog's syntax, approach and backtracking in python to solve the issue. I wrote pytholog library. I am sharing the answers to get comments and if there are better ways to do it.

     In pytholog I initiate a knowledge base and I query it.

     import pytholog as plfriends_kb = pl.KnowledgeBase("friends")friends_kb([ "has_lot_work(daniel, 8)", "has_lot_work(david, 3)", "stress(X, P) :- has_lot_work(X, P2), P is P2 / 100", "to_smoke(X, Prob) :- stress(X, P1), friends(Y, X), influences(Y, X, P2), smokes(Y), Prob is P1 + P2", "to_have_asthma(X, 0.3) :- smokes(X)", "to_have_asthma(X, Prob) :- to_smoke(X, P2), Prob is P2 * 0.25", "friends(X, Y) :- friend(X, Y)", "friends(X, Y) :- friend(Y, X)", "influences(X, Y, 0.4) :- friends(X, Y)", "friend(peter, david)", "friend(peter, rebecca)", "friend(daniel, rebecca)", "smokes(peter)", "smokes(rebecca)"])print(friends_kb.query(pl.Expr("to_smoke(Who, P)")))# [{'Who': 'daniel', 'P': 0.48000000000000004}, {'Who': 'david', 'P': 0.43000000000000005}]print(friends_kb.query(pl.Expr("to_have_asthma(Who, P)")))# [{'Who': 'peter', 'P': '0.3'}, {'Who': 'rebecca', 'P': '0.3'}, {'Who': 'daniel', 'P': 0.12000000000000001}, {'Who': 'david', 'P': 0.10750000000000001}]

     Check all answers on Stack Overflow

     2/5

   • Programming languages for distributed system

     Top Answer

     Answered Jul 23, 2010 · 22 votes

     Erlang, as described by Wikipedia:

     It was designed by Ericsson to support distributed, fault-tolerant, soft-real-time, non-stop applications.

     You might also want to read the Distributed Erlang section of their manual.

     However, note that Erlang is a functional language and will require a much different paradigm of thought as compared to C++.

     Check all answers on Stack Overflow

     3/5

   • Programming languages implemented in assembly language

     Top Answer

     Answered Mar 17, 2011 · 9 votes

     While it is possible to write a language implementation in assembly, for most languages it is not really advisable to do so for a variety of reasons: assembly code is notoriously difficult to develop and maintain, and it is by definition not portable.

     That said, some languages are significantly easier to produce implementations for:

     • It is very easy to produce an assembly implementation for Brainfuck
     • Forth has a number of implementations in assembly, which is why it is used in the firmware of several non-PC workstations. You can find some assembly implementations for various platforms here.
     • Many BASIC interpretters have been written in assembly - in fact that was probably true for most BASIC implementations in the various home computers of the late '70s and early '80s. Some can be found here.

     Check all answers on Stack Overflow

     4/5

   • Programming Languages for writing GUI application

     Top Answer

     Answered Dec 04, 2009 · 12 votes

     You could reverse your question : what toolkits are there, and which languauges do they support?

     For Example GTK : (from wikipedia)

     C GTK+ C++ gtkmm Ruby ruby-gtk2 Python PyGTK Java java-gnome .NET Gtk# PHP PHP-GTK Perl Gtk2-Perl

     You can find support for many languages if you explore these other widget toolkits :

     Juce — An extensive cross-platform UI toolkitFLTK — A light, cross platform, non-native widget toolkitFOX toolkit — A fast, open source, cross-platform widget toolkitGTK+ — The GIMP toolkit, a widget toolkit used by GNOME applicationsIUP_(software) -- IUP cross platform static/dynamic library C/LUA, Lua (MIT) licenceJX Application FrameworkMicrosoft Foundation Class - The most commonly used widgeting toolkit for Windows.MotifObject Windows Library & OWLNextQt — A widget toolkit used by KDEStandard Widget Toolkit — SWT for JavaSwing — Java widget toolkitTk — Toolkit part of the Tcl - project and often used by Perl and Python programmersUltimate++Visual Component LibrarywxWidgets — A free widget toolkitXForms

     Other Answers

     Answered Dec 04, 2009 · 9 votes

     C++ with the Qt framework: http://qt.nokia.com/products

     Other Answers

     Answered Dec 04, 2009 · 7 votes

     Python is a great option to look at with PyQT and wxPython as two widely used frameworks for desktop GUI apps.

     Check all answers on Stack Overflow

     5/5

   Show moreShow less

2. www.linode.com › docs › guidesLogic Programming Languages: Use Cases, Examples, and Features

   www.linode.com › docs › guides

   • Cached

   Apr 4, 2023 · Some of the best-known logic programming languages include Prolog, Datalog, and Answer Set Programming. Several tutorials provide a foundation to help you get started on logic programming. If you want to try logic programming for yourself, consider doing your development work on a Linode system.

3. en.wikipedia.org › wiki › Logic_programmingLogic programming - Wikipedia

   en.wikipedia.org › wiki › Logic_programming

   • Cached

   Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain.

4. www.geeksforgeeks.org › prolog-an-introductionProlog | An Introduction - GeeksforGeeks

   www.geeksforgeeks.org › prolog-an-introduction

   • Cached

   Jun 28, 2022 · Prolog is a logic programming language. It has important role in artificial intelligence. Unlike many other programming languages, Prolog is intended primarily as a declarative programming language. In prolog, logic is expressed as relations (called as Facts and Rules).

5. www.geeksforgeeks.org › difference-between-functional-and-logical-programmingDifference Between Functional and Logical Programming

   www.geeksforgeeks.org › difference-between-functional-and-logical-programming

   • Cached

   Feb 24, 2022 · Some languages used for logic programming include Absys, Cycl, Alice, ALF (Algebraic logic functional programming language), etc. It reduces code redundancy, improves modularity, solves complex problems, increases maintainability, etc.

6. logicprogramming.stanford.edu › lectures › lecture_01Logic Programming Introduction - Stanford University

   logicprogramming.stanford.edu › lectures › lecture_01

   Easier to learn logic programming than traditional programming. Think spreadsheets. Oddly, expert computer programmers often have more ... the gap between programming languages and knowledge representation languages; and it treats updates on an equal footing with datasets, leading to a sound and practical treatment of ...

7. www.cs.cmu.edu › ~fp › coursesLogic Programming - CMU School of Computer Science

   www.cs.cmu.edu › ~fp › courses

   Since logic programming computation is proof search, to study logic pro-gramming means to study proofs. We adopt here the approach by Martin-Lo¨f [3]. Although he studied logic as a basis for functional programming rather than logic programming, his ideas are more fundamental and there-fore equally applicable in both paradigms. Themost basic ...

8. logic.stanford.edu › logicprogramming › notes1.1 Programming in Logic - Stanford University

   logic.stanford.edu › logicprogramming › notes

   • Cached

   Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Programs written in this style are called logic programs . The language in which these programs are written is called logic programming language .

9. en.wikipedia.org › wiki › Category:Logic_programming_languagesCategory:Logic programming languages - Wikipedia

   en.wikipedia.org › wiki › Category:Logic_programming_languages

   • Cached

   Logic programming languages. This category lists programming languages that support the logical programming paradigm.

10. groups.seas.harvard.edu › courses › cs152Logic programming - Harvard University

    groups.seas.harvard.edu › courses › cs152

    program using a logic programming language, we also have an executable specification, that is, a procedu-ral interpretation that tells us how to compute what we described. This is one of the appealing features of logic programming. (In practice, executable specifications obtained this way are often inefficient; an under-

11. logic.stanford.edu › logicprogramming › publicLogic Programming - Stanford University

    logic.stanford.edu › logicprogramming › public

    • Cached

    Logic Programming is a style of programming based on Symbolic Logic. In recent years, there has been increasing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing.