clojure - Expressing that a specific subset of X's have property Y in core.logic -



clojure - Expressing that a specific subset of X's have property Y in core.logic -

i want to:

describe fact subset of class of objects. declare object has property consists of other properties.

take next example:

red robotic birds composed of buttons, cheese, , wire.

i want express class of birds, birds reddish , robotic, have property. property composed of buttons, cheese, , wire. there no restrictions on type of wire cheese or buttons. result, should deducible there no reddish robotic birds composed of paper. also, these birds can composed of subset of items buttons, cheese, , wire.

in clojure/core.logic.prelude, there relations , facts using defrel , fact. however, can't come combination explain fact.

in prolog there no distinction between facts , goals there in minikanren. might address in future.

btw, i'm not sure answers question - helpful hear types of queries wish run.

this tested code (for clojure 1.3.0-beta1) since i'm using ^:index trick, code run fine in 1.2.0 if swap ^{:index true}:

(ns clojure.core.logic.so (:refer-clojure :exclude [==]) (:use [clojure.core.logic])) (defrel property* ^:index p ^:index t) (fact property* :bird :red-robotic-bird) (fact property* :red :red-robotic-bird) (fact property* :robotic :red-robotic-bird) (fact property* :tasty :cake) (fact property* :red-robotic-bird :macaw) (defn property [p t] (conde [(property* p t)] [(fresh [ps] (property* ps t) (property p ps))])) (defrel composition* ^:index m ^:index t) (fact composition* :buttons :red-robotic-bird) (fact composition* :cheese :red-robotic-bird) (fact composition* :wire :red-robotic-bird) (fact composition* :flour :cake) (defn composition [m t] (fresh [p] (composition* m p) (conde [(== p t)] [(property p t)])))

trying out.

(comment ;; macaw composed of? (run* [q] (composition q :macaw)) ;; (:wire :cheese :buttons) ;; things include buttons in composition? (run* [q] (composition :buttons q)) ;; (:red-robotic-bird :macaw) ;; macaw include flour in composition? (run* [q] (composition :flour :macaw)) ;; () ;; macaw bird? (run* [q] (property :bird :macaw)) ;; (_.0) ;; cake bird? (run* [q] (property :bird :cake)) ;; () ;; properties of macaw? (run* [q] (property q :macaw)) ;; (:red-robotic-bird :robotic :bird :red) )

clojure clojure-core.logic

Comments

Post a Comment

Popular posts from this blog

iphone - Dismissing a UIAlertView -

iphone - Dismissing a UIAlertView - i set in app purchase app, , when user taps button, purchase started. basically, tap button, , depending on speed on net connection, waiting 10 seconds until new alert view comes asking if purchase product. user tap button multiple times since nil came up, , multiple purchase alert views come up. additionally, maybe seen user app bug. in end, problem. i want alert view come spinning wheel says "loading..." when users taps purchase button. problem is, how dismiss when new alert view comes asking user if want purchase product? if ([uialertview alloc] says: @"whatever apple's alert view says") { //dismiss "loading..." alert view here } i uncertainty work, input appreciated. thanks! you need have access alertview. can this. create alertview instance var in app delegate , when want show loading initialize instance var assign property , when want dismiss phone call [alertviewinstance d...
Read more

intellij idea - Update external libraries with intelij and java -

intellij idea - Update external libraries with intelij and java - simple plenty really. i'm using apache jars, i'll create changes jar's every often. these jars listed external libs in intelij (i.e classpath looking install dir of jar's). when create changes intelij doesn't seem know new implementation. have remove jar external library , re-ad it. does know have intelij picks changes automatically ? i've done clean , rebuild project had little effect. you can go preferences -> build, execution, deployment -> build tools -> maven -> importing , check box says import maven projects automatically . in mac, can command + shift + a , come in action reimport , click on reimport maven projects . intellij-idea
Read more

javascript - send data from a new window to previous window in php -

javascript - send data from a new window to previous window in php - i have image in main.php file : <img src="..\images\image.gif" class="cur" onclick="imgwin();"> when click on image below function has called : function imgwin() { imagewin=window.open("../pages/img.php","imagewin","toolbar=no,width=500,height=200,directories=no,menubar=no,scrollbars=yes"); } this function opens img.php in new window img.php file : <html> <head> <title>upload image</title> </head> <body> <form name="imgform" method="get" action="#"> address : <input type="file" name="imgurl" size="50"> description : <input type="text" name="description" size="50"> <input type="submit" value="sumbit...
Read more