Discussions - comp.ai.philosophy

	PROLOG TESTING SEQUENCE - Getting Your ROBOT Off The Ground!
	STEP 1: START UP YOUR FAVORITE PROLOG EDITOR! ENTER: [link] [LIST] STEP 2: ENTER THE FOLLOWING TEST CODE! [NEW] test1 a. test1 b. test2 X. test3 [sub a b c]. STEP 3: CHECK THE FOLLOWING COMMAND RESULTS! test1 a ? CONFIRM! test1 b ? CONFIRM!... more » By Graham Cooper - 1:37am - 1 new of 1 message

	Is this 3GL or 4GL?
	casea( A ) :- less( A , 1 ) , write( concat( final , A )) . casea( A ) :- less( 1 , A ) , write( concat( looping , A )) , minus( A , 1 , B ) , case( B ) . ------------------ The Output (in PROLOG) for case(5) looping5 looping4 looping3 looping2 final1... more » By Graham Cooper - May 19 - 1 new of 1 message

	THE SUCCESSOR OF DOG IS ANOTHER DOG. Like, Fido I is succeeded by FIDO II
	Brilliant, eh?????? By Don Stockbauer - May 19 - 4 new of 4 messages

	Call for Papers: World Congress on Engineering and Computer Science WCECS 2013
	Call for Papers: World Congress on Engineering and Computer Science WCECS 2013 CFP: World Congress on Engineering and Computer Science WCECS 2013 Draft Paper Submission Deadline: 2 July, 2013 Camera-Ready Papers Due & Registration Deadline: 30 July, 2013 WCECS 2013: San Francisco, USA, 23-25 October, 2013... more » By iaeng_imecs_wce_wcecs_a - May 19 - 1 new of 1 message

	* ROBOT'S 1ST WORDS *
	... You mean the fundamental 'complexity explosion' when expanding AI applications to work on larger domains is really just an excuse for "It doesn't work on much!" Block Prolog will be completed on schedule! It's now up to proving DOG+1 is not a NUMBER! [link]... more » By Graham Cooper - May 18 - 3 new of 3 messages

	The Unsolved Problems web site
	... Hi Tim, I think I solved one! [link] Lonely Runner Conjecture Suppose there are k runners, all lined up at the start of a circular running track of length 1. They all start running at constant, but different, speeds. The Lonely Runner conjecture states that for each runner, there will... more » By Graham Cooper - May 18 - 3 new of 3 messages

	The SUCCESSOR of DOG is NOT a NUMBER!
	TRACE nat [ s dog ]? TRY 1 nat [ s X ] TAIL 1 nat X nat dog FALSE 1 MISMATCH STACK: 1 - X1 - R - dog NOT FOUND! -------- But don't take my word for it! Consider it FORMALLY PROVEN! [link] By Graham Cooper - May 18 - 3 new of 3 messages

Cyber-time, Bit coin exchanges, real-time + traffickiing

I'm kinda intrigued by bit-coins rates of exchange for free-hand sexual services ! thats different to heterosexual intercourse or the bit-coin rates of exchange to sell a slave like individual for entertainment unless a demand anywhere in the world for a baby is lower than for a slug to beg. I feel thats all very nasty indeed. It also means that theres a... more »

By me - May 17 - 2 new of 2 messages

	Smart Computer Trace
	TRACE nat [ s X ]? TRY 1 nat [ s X ] TAIL 1 nat X TRY 1 nat 0 STACK: 1 - X - 22 - STACK: 2 - - 22 - X1 STACK: 3 - X1 - 2 - STACK: 4 - - 2 - 0 X:=0 ---------- The trace is quite effective in color, but I'm still working on the Recursion Stack.. Herc... more » By Graham Cooper - May 16 - 3 new of 3 messages

	BLOCKPROLOG CALCULATES THE NUMBER 1 !!!
	[link] The Query is nat ( s(0) ) ? --------------- Watch as the ONLINE PROLOG ENGINE traces out the Path of 2 of Peano's Postulates in deciding s(0) is a Natural Number! Herc -- [link] By Graham Cooper - May 15 - 1 new of 1 message

1 - 10 of 18852 « Newer | Older »

XML

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy

Account Options