Skip to content

Instantly share code, notes, and snippets.

@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 {
@sriki77
sriki77 / JAXRSSessionsApi.java
Last active August 29, 2015 14:24
Serverside Code Gen By Swagger
package io.swagger.api;
import io.swagger.annotations.ApiParam;
import io.swagger.api.factories.SessionsApiServiceFactory;
import io.swagger.model.Session;
import javax.ws.rs.GET;
import javax.ws.rs.Path;
import javax.ws.rs.PathParam;
import javax.ws.rs.Produces;
@sriki77
sriki77 / SSLUnificationHandler.java
Created August 9, 2015 15:21
SSL Unification + Netty + Proxy
public class SSLUnificationHandler extends ChannelInboundByteHandlerAdapter {
static final String NAME = "HttpSsLUnificationHandler";
protected void addSSLHandler(ChannelPipeline pipeline) throws Exception {
//SSL Engine init....
pipeline.addAfter(NAME, "sslHandler", new SslHandler(sslEngine));
}
@Override