plonk11 has quit [Remote host closed the connection]
Guest46980 has joined #ocaml
Guest46980 has quit [Remote host closed the connection]
bezirg has joined #ocaml
kakadu has joined #ocaml
Fare has joined #ocaml
mfp has joined #ocaml
zolk3ri has joined #ocaml
BitPuffin has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bezirg has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Read error: Connection reset by peer]
BitPuffin has joined #ocaml
FreeBirdLjj has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
jack5638 has joined #ocaml
xeroks20 has joined #ocaml
xeroks20 has quit [Remote host closed the connection]
ben_ has joined #ocaml
bezirg has joined #ocaml
surfist9 has joined #ocaml
kvda has joined #ocaml
bezirg has quit [Ping timeout: 240 seconds]
surfist9 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
<Drup>
logicmoo: Curry's pattern matching is very different from OCaml's and Haskell's
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Quit: leaving]
Asoka has joined #ocaml
ben_ has quit []
Asoka has quit [Remote host closed the connection]
jao has joined #ocaml
<Fare>
Drup, what does Curry do?
<Drup>
Fare: Curry is soft of a fusion of prolog and haskell
<Drup>
the "pattern matching" is more of a logic engine in the style of prolog
Turbo-Folker has joined #ocaml
Turbo-Folker has quit [Read error: Connection reset by peer]
jim5 has joined #ocaml
jim5 has quit [Remote host closed the connection]
<Fare>
Drup, how does it compare to Mercury ?
<logicmoo>
the matchng part between Curry and Haskell are different. ok. is there some nondeterminism on top of that or is that based on the matching?
<Drup>
logicmoo: Curry has non determinism, yes
<Drup>
Fare: don't know
<logicmoo>
slightly why i ask abotu Curry is i noticed when compiling curry code to prolog there was a ton of delaying.. i kinda guesed with siuch extreme delays the match would ber just as delayed
<logicmoo>
but where nondetermism would come in isnt based on lazy match.. it is that quite possibly the match would been totally differnt had there not been delays.. so i assume the nondet is to backtrack to decide a better match was needed
<logicmoo>
actually forget i said all that .. but i pretty much want to hear as much about how nondet works for curry as i can :)
<logicmoo>
Fare: I been programing in Prolog for 20 years.. i have to say that so far i havent figured a reason to use Mercury :(
<Drup>
logicmoo: I doubt there are many Curry programmers around to help
<Drup>
Actually, I doubt there exists Curry programmers period. :p
<dmbaturin>
s/m// :)
<logicmoo>
lol
<dmbaturin>
Drup: Maybe we can prove existence and uniqueness of a Curry programmer. :)
ollien4 has joined #ocaml
ollien4 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
<Drup>
Well, I mean, it's a research language. A very cool one, but still.
<logicmoo>
the reason i started to study curry is i was hoping it was a safe way to get to accept ML
<logicmoo>
(Haskell / ML style nlanguages that is)
<dmbaturin>
I'm still to accept Prolog.
<dmbaturin>
logicmoo: What are you doing in Prolog by the way?
<logicmoo>
dmbaturin: writting inference engines
<dmbaturin>
Oh, I mean, what kind of problems your programs solve.
<logicmoo>
well game world that has its objects that are created by caching when they experince their first existential backchain
<dmbaturin>
My main stumbling block with Prolog was that I couldn't find much material that shows how to write a program that actually does something and interacts with the world.
<logicmoo>
the main problem i trying to solve is representation of skolem variables
<dmbaturin>
Sounds interesting. An online game of sinle player?
<logicmoo>
online multiplayer
<logicmoo>
well its had a couple of incarnations
<Fare>
I've used backtracking through continuations in Scheme or monads in other languages, but I've never used Prolog in anger.
<dmbaturin>
World of Predicates? :)
<logicmoo>
well predciates can be seen as object properties
<Fare>
I did write an article about how lambda calculus + amb + BOTH applicative vs normal reduction could express logic programming
<dmbaturin>
Fare: Link?
<logicmoo>
(if someone wante to do extreem OO overiding)
<dmbaturin>
logicmoo: Also, which Prolog implementation?
<logicmoo>
for exmaple CLOS in all predciates would be great
<Fare>
dmbaturin, http://fare.tunes.org/files/cs/rndlc.pdf --- beware, there's a good reason the article was rejected, it tries to say too many things, and say them badly.
<Fare>
what's a good name for the kleisli arrow fun () -> return x ? mconstant ? constant ? konst ? mkonst ? constantly ?
<Drup>
dmbaturin: maybe datalog would be enough for you, there is an excelent [sic] ocaml library for it :3
<Drup>
Fare: "const" is the common one
<logicmoo>
The other extreem that PrologMUD does (the frist extreme things was to create a logical OO world from rules) is uses its infernce engine to try to figurte out how peopel in natrual language woudl liek the world to be changed
<Fare>
I mean (fun x -> fun () -> ThisMonad.return x)
<dmbaturin>
Drup: Interesting, let me look it up.
<logicmoo>
why i been interested in Ocaml/ML is that some of the best Logic Engines are fastest in ML
<Fare>
and then outside the monad, I'd use Identity.const ?
<Drup>
logicmoo: it's amusing, because companion_cube complains a lot about the fact that OCaml is not fast enough to write SMT solvers
<logicmoo>
i've finallyhit some limitations of prolog that requires me to be an implementor.. i know for sure i wont do it in C
<Drup>
Fare: I guess, yes
<logicmoo>
so i been coding a new prolog impl in C++ .. but.. talk me into doing it in Ocaml
<Drup>
I would be very surprised if nobody has done it
<dmbaturin>
Why not do it in Coq? :)
<Drup>
dmbaturin: there is already one, it's called "tactics"
<dmbaturin>
An actual Prolog implementation that can run unmodified code?
<Drup>
dmbaturin: "Any sufficiently complicated type checker contains an ad-hoc, informally-specified, slow implementation of half of Prolog".
<Drup>
Except Coq, where it's formally verified, but still ad-hoc and slow.
Raziel1 has joined #ocaml
Raziel1 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
groovy2shoes has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
lopex has joined #ocaml
<Fare>
Drup, Coq is formally verifying, but not formally verified.
jnavila has joined #ocaml
mrdata27 has joined #ocaml
mrdata27 has quit [Ping timeout: 272 seconds]
bartholin has joined #ocaml
purrdeta3 has joined #ocaml
purrdeta3 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
digitalcold3 has joined #ocaml
digitalcold3 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
kvda has quit [Ping timeout: 256 seconds]
<companion_cube>
writing efficient prolog requires to write a compiler for this weird abstract machine anyway, so you could do it in Coq (with an insane amount of effort)
jnavila has quit [Ping timeout: 276 seconds]
CompanionCube22 has joined #ocaml
CompanionCube22 has quit [Read error: Connection reset by peer]
Fare has quit [Ping timeout: 244 seconds]
lutoma12 has joined #ocaml
lutoma12 has quit [Remote host closed the connection]
xfil has joined #ocaml
xfil has quit [Killed (Sigyn (Spam is off topic on freenode.))]
pistachio has joined #ocaml
ascheel3 has joined #ocaml
ascheel3 has quit [Remote host closed the connection]
avelardi14 has joined #ocaml
avelardi14 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
jgkamat has quit [*.net *.split]
_habnabit has quit [*.net *.split]
hannes has quit [*.net *.split]
lokydor has quit [*.net *.split]
gargawel has quit [*.net *.split]
engil has quit [*.net *.split]
vodkaInf1rno has quit [*.net *.split]
tokenrove has quit [*.net *.split]
tianon has quit [*.net *.split]
awal has quit [*.net *.split]
ec2-user1 has quit [*.net *.split]
henrytill has quit [*.net *.split]
gargawel has joined #ocaml
hannes has joined #ocaml
tianon has joined #ocaml
lokydor has joined #ocaml
henrytill has joined #ocaml
tianon has joined #ocaml
tianon has quit [Changing host]
vodkaInferno has joined #ocaml
tokenrov1 has joined #ocaml
awal has joined #ocaml
jgkamat has joined #ocaml
jgkamat has quit [Changing host]
jgkamat has joined #ocaml
awal is now known as Guest51883
kline3 has joined #ocaml
_habnabit has joined #ocaml
kline3 has quit [Remote host closed the connection]
ec2-user has joined #ocaml
Fare has joined #ocaml
ziyourenxiang has quit [Ping timeout: 272 seconds]
plat_22 has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
bezirg has joined #ocaml
plat_22 has quit [Ping timeout: 244 seconds]
silver has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
bezirg has quit [Ping timeout: 255 seconds]
beuker has joined #ocaml
beuker has quit [Killed (Sigyn (Spam is off topic on freenode.))]
bigpresh3 has joined #ocaml
bigpresh3 has quit [Ping timeout: 244 seconds]
bezirg has joined #ocaml
pk120 has joined #ocaml
SleePy4 has joined #ocaml
pk120 has quit [Remote host closed the connection]
SleePy4 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Guest79559 has joined #ocaml
jnavila has joined #ocaml
Guest79559 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Guest51883 is now known as awal
sneakyness13 has joined #ocaml
sneakyness13 has quit [Read error: Connection reset by peer]
Fare has quit [Ping timeout: 244 seconds]
Cajs17 has joined #ocaml
MikeoftheEast14 has joined #ocaml
MikeoftheEast14 has quit [Remote host closed the connection]
Cajs17 has quit [Read error: Connection reset by peer]
atomicthumbs15 has joined #ocaml
bezirg has quit [Remote host closed the connection]
atomicthumbs15 has quit [Remote host closed the connection]
jack5638 has quit [Ping timeout: 276 seconds]
jnavila has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
jnavila has joined #ocaml
shakalaka has joined #ocaml
caente has joined #ocaml
caente has quit [Quit: Leaving]
jao has joined #ocaml
pierpa has joined #ocaml
fxrh29 has joined #ocaml
fxrh29 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
MissionCritical has joined #ocaml
MissionCritical has quit [Killed (Sigyn (Spam is off topic on freenode.))]
jnavila has quit [Ping timeout: 240 seconds]
Soni has quit [Ping timeout: 276 seconds]
Soni has joined #ocaml
johtso has joined #ocaml
johtso has quit [Ping timeout: 268 seconds]
Fare has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
ruffy_ has quit [Ping timeout: 240 seconds]
ruffy_ has joined #ocaml
Kraps28 has joined #ocaml
Iciloo7 has joined #ocaml
Iciloo7 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
Kraps28 has quit [Remote host closed the connection]
jao has quit [Ping timeout: 244 seconds]
bartholin has quit [Remote host closed the connection]
jao has joined #ocaml
strugee has joined #ocaml
strugee has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
bananas17 has joined #ocaml
bananas17 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
celyr has joined #ocaml
celyr is now known as Guest7740
Guest7740 has quit [Killed (Sigyn (Spam is off topic on freenode.))]