Picture

BProlog @BProlog

For sharing recent developments in B-Prolog. probp.com NY Joined January 2012
  • Tweets
    25
  • Followers
    59
  • Following
    2
  • Likes
    1
BProlog retweeted
hakankj Profile Picture

Hakan Kjellerstrand @hakankj

11 years ago

Picat v0.3 released. Featuring a MIP solver (GLPK) picat-lang.org Some of my MIP models: hakank.org/picat/#mip #copr #picat

BProlog Profile Picture

BProlog @BProlog

11 years ago

Picartesius: youtu.be/ggKY0ad8Z3Q via @YouTube

BProlog retweeted
hakankj Profile Picture

Hakan Kjellerstrand @hakankj

12 years ago

First stable version (v0.1) of Picat programming language has been released: picat-lang.org Also see: http:/hakank.org/picat/ #copr

BProlog Profile Picture

BProlog @BProlog

12 years ago

Picat version 0.1 beta-10 has just been released. This will be the last beta before releasing the first stable version.

BProlog Profile Picture

BProlog @BProlog

12 years ago

Take a look at the planning examples: picat-lang.org/projects.html. I don't even have a single planning problem on which ASP is better than Picat.

BProlog Profile Picture

BProlog @BProlog

12 years ago

NFZ gave a talk at IBM PL Day today on "Scripting and Modeling with Picat". The slides are available at: picat-lang.org/download/ibm_p….

BProlog Profile Picture

BProlog @BProlog

12 years ago

B-Prolog version 8.0 has been released. See probp.com/updates.html for the detailed updates.

BProlog Profile Picture

BProlog @BProlog

12 years ago

The Picat system has been announced: picat-lang.org/download/annou…

BProlog Profile Picture

BProlog @BProlog

13 years ago

A bug-fixed version, 7.8#5, has been released. An article on the SAT compiler has been published in ALP newsletter (logicprogramming.org).

BProlog Profile Picture

BProlog @BProlog

13 years ago

HakanK's first look at B-Prolog is amazing: hakank.org/constraint_pro… …. Look forward to his second look.

BProlog Profile Picture

BProlog @BProlog

13 years ago

V7.8 has been released. If you use the SAT compiler, you need to install a solver separately and make the OS command satsolver available.

BProlog Profile Picture

BProlog @BProlog

13 years ago

Version 7.8b7, the last beta, is available now. The SAT compiler has been significantly improved, especially for arithmetic constraints.

BProlog Profile Picture

BProlog @BProlog

13 years ago

The SAT compiler in 7.8b3 has been significantly improved. The hard numberlink instance takes only 200s to solve(probp.com/cp_sat_lp/numb…).

BProlog Profile Picture

BProlog @BProlog

14 years ago

SAT has become amazing. Read this probp.com/cp_sat_lp/numb….

BProlog Profile Picture

BProlog @BProlog

14 years ago

This is an example for Danny Kopec's AI book probp.com/examples/tabli…. Thanks to sharing, it is viable to store all states during search.

BProlog Profile Picture

BProlog @BProlog

14 years ago

You can find examples and documentation of the common interface at probp.com/cp_sat_lp/inde….

BProlog Profile Picture

BProlog @BProlog

14 years ago

The same interface is also used for LP/MLP and CP. So now you can write one model and experiment with different solvers.

BProlog Profile Picture

BProlog @BProlog

14 years ago

Version 7.8 provides an interface with SAT solvers. With loop constructs, B-Prolog can be used as a powerful modeling language for SAT.

BProlog Profile Picture

BProlog @BProlog

14 years ago

Discrete Math looks like a good place to expose students to Prolog. My students liked the examples: sci.brooklyn.cuny.edu/~zhou/teaching…

BProlog Profile Picture

BProlog @BProlog

14 years ago

Praveen's comment on "How to Solve it with B-Prolog": "It looks like that the problems were designed to make B-Prolog's features shine."

Trends for United States

Hobi
25,1 B posts
5sos
17,2 B posts
WILDCARD
5.463 posts
Rakai
4.329 posts
Rand Paul
19,3 B posts
Jonas Brothers
17,3 B posts
Dodgers
52 B posts
Michigan
120 B posts
NFT-based
UCLA
8.543 posts
Stanford
10,4 B posts
#HawaiiFB
Yamamoto
22 B posts
Underwood
10,6 B posts
#GoCougs
1.297 posts
Mateer
12,9 B posts
UNLV
5.247 posts
Sam Houston
Jonah Coleman
Jamo
2.716 posts

You might like

Logtalk development updates and relevant logic programming news.
logtalk.org
@LogtalkDotOrg
585 Followers
I work in AI with a logic bias. Writing AI applications in Logtalk using ontology, planning, and data analysis. Dr, QTS, 1689 Baptist.
Paul Brown
@PaulBrownPhD
374 Followers
KnowBody. Model Driven Enterprise Engineering, Business/Systems/Software Engineering, AI, #ExecutablePhilosophy in Prolog
Markus Schacher
@MarkusSchacher
215 Followers
a.k.a. hakank. Swedish Software Developer (retired) / Independent Researcher. Interested in many things, e.g. Constraint Prog., OR, AI, ML, Picat, Prob. prog.
Hakan Kjellerstrand
@hakankj
984 Followers
Release Train Engineer (SAFe) / UTS Computer Science PhD Student
David Pratten
@davidpratten
47 Followers