2007-03-28 22:50:26 +00:00
<?xml version="1.0" encoding="utf-8"?>
< !DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
< html xmlns = "http://www.w3.org/1999/xhtml" xml:lang = "en" >
< head >
< meta http-equiv = "content-type" content = "application/xml+xhtml; charset=utf-8" / >
< title > Logtalk built-in predicate: threaded/1< / title >
< link rel = "stylesheet" href = "../../screen.css" type = "text/css" media = "screen" / >
< link rel = "stylesheet" href = "../../print.css" type = "text/css" media = "print" / >
< / head >
< body >
< div class = "top-left" > Logtalk reference manual< / div >
< div class = "top-right" > Built-in predicate: threaded/1< / div >
< div class = "bottom-left" > < span class = "page" / > < / div >
< div class = "bottom-right" > < span class = "page" / > < / div >
< div class = "navtop" > < a href = "../../index.html" > contents< / a > > < a href = "../index.html" > reference manual< / a > > < a href = "../index.html#builtins" > built-in predicates< / a > < / div >
2007-06-12 10:39:47 +00:00
< h2 id = "builtins_threaded1" class = "codenp" > threaded/1< / h2 >
2007-03-28 22:50:26 +00:00
< h4 > Description< / h4 >
< pre > threaded(Conjunction)< / pre >
< p >
2007-06-12 10:39:47 +00:00
Proves each goal in a conjunction of goals in its own thread. The argument can also be a conjunction of messages, either to < em > self< / em > or to an explicit object. A call to this predicate blocks until all individual threads terminate. This predicate is deterministic and opaque to cuts, similar to < code > once/1< / code > .
2007-03-28 22:50:26 +00:00
< / p >
< h4 > Template and modes< / h4 >
< pre > threaded(+callable)< / pre >
< h4 > Errors< / h4 >
< dl >
< dt > Conjunction is a variable:< / dt >
< dd > < code > instantiation_error< / code > < / dd >
< dt > A goal in Conjunction is a variable:< / dt >
< dd > < code > instantiation_error< / code > < / dd >
< dt > Conjunction is neither a variable nor a callable term:< / dt >
< dd > < code > type_error(callable, Conjunction)< / code > < / dd >
< dt > A goal Goal in Conjunction is neither a variable nor a callable term:< / dt >
< dd > < code > type_error(callable, Goal)< / code > < / dd >
< / dl >
< h4 > Examples< / h4 >
< dl >
< dt > Prove a conjunction of goals, each one in its own thread:< / dt >
< dd > < code > threaded((Goal, Goals))< / code > < / dd >
< dt > Prove a conjunction of messages to < em > self< / em > , each one in its own thread:< / dt >
< dd > < code > threaded(::(Message, Messages))< / code > < / dd >
< dt > Prove a conjunction of messages to an object, each one in its own thread:< / dt >
< dd > < code > threaded(Object::(Message, Messages))< / code > < / dd >
2007-06-12 10:39:47 +00:00
< dt > Prove a conjunction of objects receiving the same message, each one in its own thread:< / dt >
< dd > < code > threaded((Object, Objects)::Message)< / code > < / dd >
2007-03-28 22:50:26 +00:00
< / dl >
< div class = "footer" >
< div class = "copyright" >
< span > Copyright © < a href = "mailto:pmoura@logtalk.org" > Paulo Moura< / a > — < a href = "http://logtalk.org" > Logtalk.org< / a > < / span > < br / >
2007-06-12 10:39:47 +00:00
< span > Last updated on: May 8, 2007< / span >
2007-03-28 22:50:26 +00:00
< / div >
< div class = "navbottom" >
< span > < a href = "../index.html#builtins" > previous< / a > | < a href = "../../glossary.html" > glossary< / a > | < a href = "threaded_once1.html" > next< / a > < / span > < br / >
< span > < a href = "http://validator.w3.org/check/referer" > XHTML< / a > + < a href = "http://jigsaw.w3.org/css-validator/check/referer" > CSS< / a > < / span >
< / div >
< / div >
< / body >
< / html >
