LinuxLinks.com
Newbies What Next ? News Forums Calendar
Home | Register | News | Forums | Portal Pages | MyLinks | New | Hot | Link Us

Search/Browse

 Category Gateway
More Options
Category:  


LinuxLinks News
 · Beelink S1 Mini PC and Linux – Comedy Gold
 · Fun Packed Open Source Action Games
 · Improve Your Mental Mettle with These Open Source Puzzle Games
 · MOOS Project Viewer 3.2 – Support for Microsoft Project 2016 Files
 · Shuffle the Decks with These Ace Open Source Card Games
 · Have a Blast with Fun to Play Open Source Arcade Style Games
 · Asus Tinker Board – TinkerOS_Debian V2.0.1 (Beta version)
 · Asus Tinker Board – TinkerOS Android 13.11.0.5 – Anything Special?
 · Fun to Play Open Source Turn-Based Strategy Games
 · Fun to Play Open Source Real-Time Strategy Games – Fight for Glory
(more...)

 

Latest Links
Endless OS
Haiku
Olimex Teres I
Terasology
ClassicalSharp
Craft
Freeminer
Manic Digger
TrueCraft
Voxelands
(more...)

 



Top : Software : Programming : Languages : Logic-based

Highlights
Beelink S1 Mini PC and Linux – Comedy Gold
The Beelink S1 is a small, silent mini PC released in August 2017 retailing for around 300 dollars (250 euros). It’s produced by Shenzhen AZW Technology Co Ltd, a Chinese company that focuses on Android smart TV boxes, Intel mini PCs, and home cloud TV boxes.

(Read more)
Piwigo
Piwigo is a photo gallery software for the web, built by an active community of users and developers. Extensions make Piwigo easily customizable. Read more

Links:

  • ACL2
    ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp.
  • Ciao
    a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically
  • DFKI Oz
    a high-level programming language combining constraint inference with concurrency
  • IF/Prolog
    (commercial) an advanced Prolog engineering tool for use in industrial and commercial environments. IF/Prolog has a rich set of interfaces to other standard software components and an additional Constraint Technology Package for efficient solutions of complex optimization problems
  • mona
    a logic-based programming language and a tool that translates programs, that is, formulas, to finite-state automata
  • Mozart
    implements Oz, a concurrent object-oriented language with dataflow synchronization. Oz combines concurrent and distributed programming with logical constraint-based inference, making it a unique choice for developing multi-agent systems
  • o42a
    o42a is a high-level general purpose programming language. It is compiled, statically-typed, prototype-based, logic-driven, and primarily declarative, while the imperative programming style is also supported.
  • Oz
    a high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include optimization problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical user interfaces
  • Picat
    Picat is a simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. Picat is a rule-based language, in which predicates, functions, and actors are defined with pattern-matching rules.
  • SICStus
    (commercial) a Prolog Development System. SICStus Prolog conforms to the ISO Prolog standard. It is built around a high performance Prolog engine



Matching Content

Share this Page
Bookmark and Share
Submit this page to popular social networks such as Digg, Twitter, StumbleUpon and more.


My LinuxLinks
MyLinks
  • Bookmarked links
  • Emailed Newsletter
  • Your own profile

  • Top Applications
    100 Essential Apps
    All Group Tests


    Top Free Software
    5 Office Suites
    3 Lean Desktops
    7 Document Processors
    4 Distraction Free Tools
    9 Project Management
    4 Business Solutions
    9 Groupware Apps
    14 File Managers
    10 Databases
    21 Backup Tools
    21 Productivity Tools
    5 Note Taking Apps
    9 Terminal Emulators
    21 Financial Tools
    5 Bitcoin Clients
    21 Text Editors
    21 Video Emulators
    21 Home Emulators
    42 Graphics Apps
    6 CAD Apps
    42 Scientific Apps
    10 Web Browsers
    42 Email Apps
    12 Instant Messaging
    10 IRC Clients
    7 Twitter Clients
    12 News Aggregators
    11 VoIP Apps
    42 Best Games
    9 Steam Games
    42 Audio Apps
    5 Music Streaming
    42 Video Apps
    5 YouTube Tools
    80 Security Apps
    9 System Monitoring
    8 Geometry Apps
    Free Console Apps
    14 Multimedia
    4 Audio Grabbers
    9 Internet Apps
    3 HTTP Clients
    5 File Managers
    Programming
    8 Compilers
    9 IDEs
    9 Debuggers
    7 Revision Control Apps
    6 Doc Generators
    Free Web Software
    21 Web CMS
    14 Wiki Engines
    8 Blog Apps
    6 eCommerce Apps
    5 Human Resource Apps
    10 ERP
    10 CRM
    6 Data Warehouse Apps
    8 Business Intelligence
    6 Point-of-Sale

    Other Articles
    Migrating from Windows
    Back up your data
    20 Free Linux Books
    24 Beginner Books
    12 Shell Scripting Books


    Services
    Web Calendar
    Linux Licenses

    Advertise at LinuxLinks.com

     

    Add Link | Modify Link | About | FAQ | Guide | Privacy | Awards | Contact | SourceFiles.org
    Portal Version 0.7. Intel Blade.
    Comments to the webmaster are welcome.
    Copyright 2009 LinuxLinks.com All rights reserved.