Skip to content

Instantly share code, notes, and snippets.

@sriki77
sriki77 / reverse.prolog
Created December 10, 2011 17:24
Prolog Day 2
#!/opt/local/bin/gprolog --consult-file
rev([X],[X]).
rev([H|T],RL) :- rev(T,RT), append(RT,[H],RL).
@sriki77
sriki77 / CompleteProgTrial.cs
Created December 26, 2011 11:29
Timer & Deferred Eval & GC
using System;
using System.Collections.Generic;
using System.Linq;
using System.Threading;
namespace TimerDeferredEval
{
class JobScheduler : IDisposable
{
private static readonly TimeSpan DueTime = new TimeSpan(0, 0, 0, 5);
@sriki77
sriki77 / 8queens.prolog
Created January 8, 2012 02:43
Prolog Day 3
#!/opt/local/bin/gprolog --consult-file
valid_queen(Col) :-
member(Col,[1,2,3,4,5,6,7,8]).
valid_board([]).
valid_board([H|T]):- valid_queen(H),valid_board(T).
diags1(_,[],[]).
diags1(Row,[Col|QT],[D|DT]) :-
@sriki77
sriki77 / 5villas.prolog
Created February 6, 2012 10:16
5 villas Reasoning
#!/opt/local/bin/gprolog --consult-file
segment([H1,H2],[H1,H2]):-!.
segment([H1,H2],[H1,H2|_]):-!.
segment([H1,H2],[_,H4|T2]) :- segment([H1,H2],[H4|T2]).
adjacent([H1,H2],L1,L2) :- segment([H1,H2],L1),!;segment([H2,H1],L2),!.
valid_set([],_,_).
valid_set([H|T],Y,AL):- member(H,Y), \+(member(H,AL)), valid_set(T,Y,[H|AL]).
@sriki77
sriki77 / Jdk1.6.0_18.java
Created May 20, 2012 05:12
Jdk 6 load class differences
protected synchronized Class<?> loadClass(String name, boolean resolve)
throws ClassNotFoundException
{
// First, check if the class has already been loaded
Class c = findLoadedClass(name);
if (c == null) {
try {
if (parent != null) {
c = parent.loadClass(name, false);
} else {